Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚡ Const Evaluation
Compile-Time Computation, Const Fn, Static Analysis, CTFE
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
32396
posts in
18.8
ms
The
185-Microsecond
Type
Hint
blog.sturdystatistics.com
·
11h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚡
Glommio
CIll
:
CTI-Guided
Invariant Generation via LLMs for Model Checking
arxiv.org
·
1d
🧮
SMT Solvers
`
derive
_
parser
` – Automatically
derive
a
parser
from your syntax tree
github.com
·
23h
·
Discuss:
r/rust
📝
Markdown Parsers
Shipping
specialization
: a story of
soundness
aturon.github.io
·
20h
⚙
Rust Compiler Internals
Zig `
hexagon-linux-none
` target cross
compilation
ziggit.dev
·
2h
📄
File Formats
The Rust Calling
Convention
We
Deserve
mcyoung.xyz
·
1d
·
Discuss:
Hacker News
⚙
Rust Compiler Internals
Async
in
depth
tokio.rs
·
16h
🔄
Async Rust
A
Number
with a
Shadow
campedersen.com
·
1d
🕯️
Candle
Refining
Almost-Safe Value Functions on the
Fly
arxiv.org
·
1d
🧮
SMT Solvers
I
Fuzzed
, and Vibe Fixed, the
Vibed
C Compiler
john.regehr.org
·
14h
·
Discuss:
Lobsters
,
Hacker News
⚙
Rust Compiler Internals
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
16h
📐
TLA+
Why does @
field
work for
declarations
?
ziggit.dev
·
15h
🔒
Borrow Checker
TypeScript
Decorators
: From
Basics
to Advanced
slicker.me
·
1d
·
Discuss:
r/typescript
📘
Typescript
Gotchas
—
Fortran
Programming Language
fortran-lang.org
·
2d
💻
Programming languages
🐥 Optimizing
nested
array operations in PHP: from O(
3n
) to O(n)
yellowduck.be
·
1d
🏹
Apache Arrow
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🧮
SMT Solvers
Implementing
Burger-Dybvig
: finding the shortest decimal that round-trips to the original IEEE 754 bits, with
ECMA-262
tie-breaking
lattice-substrate.github.io
·
19h
·
Discuss:
r/programming
🔢
Algebraic Data Types
Understanding the Go
Compiler
internals-for-interns.com
·
1d
⚡
Comptime Programming
getopt
: Go package for
POSIX/GNU-style
command line parsing
pkg.go.dev
·
13h
·
Discuss:
Lobsters
💻
CLI Tools
Making
Verifpal
Easier
to Reason About
symbolic.software
·
2d
🔍
Binary Analysis
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help